Jan van Leeuwen: cercare sul sito Z-Library

Donazioni 15 September, 2024 – 1 Ottobre, 2024 Sulla raccolta fondi

Accesso libero alla conoscenza e alla cultura.

Donazioni 15 September, 2024 – 1 Ottobre, 2024

Z-Library è una delle più grandi biblioteche online al mondo che contiene più di 17,000,000 libri e 84,837,000 articoli. Miriamo a rendere la letteratura accessibile a tutti. Oggi (15 September, 2024) abbiamo iniziato una raccolta fondi aggiuntiva per la manutenzione e lo sviluppo del progetto.

Anche i download ILLIMITATI (per 31 giorni dopo il giorno della donazione) sono disponibili per i contributori TUTTI che doneranno durante il periodo di raccolta fondi fino al 1 Ottobre, 2024.

Sulla raccolta fondiPer saperne di più

Fare una donazione

Libri (68)
Più popolari
Lista
- Lista
- Tabella

1

A History of Market Performance: From Ancient Babylonia to the Modern World

A History of Market Performance: From Ancient Babylonia to the Modern World

R.J. Van der Spek, Jan Luiten van Zanden, Bas van Leeuwen

Anno:

2019

Lingua:

english

File:

EPUB, 6.54 MB

0 / 0

english, 2019

2

Handbook of Theoretical Computer Science. Volume B: Formal Models and Semantics

Handbook of Theoretical Computer Science. Volume B: Formal Models and Semantics

Elsevier; MIT Press

Jan van Leeuwen (ed.)

Anno:

1990

Lingua:

english

File:

PDF, 63.56 MB

0 / 0

english, 1990

3

The Challenges of Water Management and Governance in Cities

The Challenges of Water Management and Governance in Cities

Kees van Leeuwen, Jan Hofman, Peter Driessen, Jos Frijns

Anno:

2019

Lingua:

english

File:

PDF, 25.87 MB

0 / 0

english, 2019

4

Haunted Europe: Continental Connections in English-Language Gothic Writing, Film and New Media

Haunted Europe: Continental Connections in English-Language Gothic Writing, Film and New Media

Evert Jan Van Leeuwen, Michael Newton

Anno:

2019

Lingua:

english

File:

PDF, 7.32 MB

0 / 0

english, 2019

5

Handbook of Theoretical Computer Science. Volume B: Formal Models and Semantics

Handbook of Theoretical Computer Science. Volume B: Formal Models and Semantics

Elsevier; MIT Press

Jan van Leeuwen (ed.)

Anno:

1990

Lingua:

english

File:

DJVU, 9.35 MB

0 / 0

english, 1990

6

Alan Turing. His work and impact

Alan Turing. His work and impact

Stuart B. Cooper, Jan Van Leeuwen (eds.)

Anno:

2012

Lingua:

english

File:

PDF, 34.13 MB

5.0 / 4.5

english, 2012

7

Algorithms and Computation: 11th International Conference, ISAAC 2000 Taipei, Taiwan, December 18–20, 2000 Proceedings

Algorithms and Computation: 11th International Conference, ISAAC 2000 Taipei, Taiwan, December 18–20, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Jean-Daniel Boissonnat (auth.), Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, D. T. Lee, Shang-Hua Teng (eds.)

Anno:

2000

Lingua:

english

File:

PDF, 3.44 MB

0 / 0

english, 2000

8

Data Assimilation Fundamentals : A Unified Formulation of the State and Parameter Estimation Problem

Data Assimilation Fundamentals : A Unified Formulation of the State and Parameter Estimation Problem

Springer International Publishing

Geir Evensen, Femke C. Vossepoel, Peter Jan van Leeuwen

Lingua:

english

File:

EPUB, 44.48 MB

0 / 0

english

9

SOFSEM 2018: Theory and Practice of Computer Science: 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings

SOFSEM 2018: Theory and Practice of Computer Science: 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings

Edizioni della Normale

A Min Tjoa, Ladjel Bellatreche, Stefan Biffl, Jan van Leeuwen, Jiří Wiedermann (eds.)

Anno:

2018

Lingua:

english

File:

PDF, 31.65 MB

0 / 0

english, 2018

10

Computing and Combinatorics: 9th Annual International Conference, COCOON 2003 Big Sky, MT, USA, July 25-28, 2003 Proceedings

Computing and Combinatorics: 9th Annual International Conference, COCOON 2003 Big Sky, MT, USA, July 25-28, 2003 Proceedings

Springer Berlin Heidelberg

Goos, Gerhard, Hartmanis, Juris, Van Leeuwen, Jan

Anno:

2003

Lingua:

english

File:

PDF, 3.80 MB

0 / 0

english, 2003

11

Computer Science Today: Recent Trends and Developments

Computer Science Today: Recent Trends and Developments

Springer-Verlag Berlin Heidelberg

Gilles Brassard (auth.), Jan van Leeuwen (eds.)

Anno:

1995

Lingua:

english

File:

PDF, 39.91 MB

0 / 0

english, 1995

12

Object-Oriented Technology: ECOOP 2000 Workshop Reader ECOOP 2000 Workshops, Panels, and Posters Sophia Antipolis and Cannes, France, June 12–16, 2000 Proceedings

Object-Oriented Technology: ECOOP 2000 Workshop Reader ECOOP 2000 Workshops, Panels, and Posters Sophia Antipolis and Cannes, France, June 12–16, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Walter Cazzola, Shigeru Chiba, Thomas Ledoux (auth.), Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, Jacques Malenfant, Sabine Moisan, Ana Moreira (eds.)

Anno:

2000

Lingua:

english

File:

PDF, 2.74 MB

0 / 0

english, 2000

13

Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings

Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings

Springer Berlin Heidelberg

Sten Agerholm (auth.), Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, Joakim von Wright, Jim Grundy, John Harrison (eds.)

Anno:

1996

Lingua:

english

File:

DJVU, 3.17 MB

0 / 0

english, 1996

14

Graph-Theoretic Concepts in Computer Science: 19th International Workshop, WG '93 Utrecht, The Netherlands, June 16–18, 1993 Proceedings

Graph-Theoretic Concepts in Computer Science: 19th International Workshop, WG '93 Utrecht, The Netherlands, June 16–18, 1993 Proceedings

Springer-Verlag Berlin Heidelberg

Sotiris E. Nikoletseas, Paul G. Spirakis (auth.), Jan van Leeuwen (eds.)

Anno:

1994

Lingua:

english

File:

DJVU, 3.83 MB

0 / 0

english, 1994

15

SOFSEM 2007: Theory and Practice of Computer Science: 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007. Proceedings

SOFSEM 2007: Theory and Practice of Computer Science: 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Ricardo Baeza-Yates (auth.), Jan van Leeuwen, Giuseppe F. Italiano, Wiebe van der Hoek, Christoph Meinel, Harald Sack, František Plášil (eds.)

Anno:

2007

Lingua:

english

File:

PDF, 14.47 MB

0 / 0

english, 2007

16

Automata, Languages and Programming: 28th International Colloquium, ICALP 2001 Crete, Greece, July 8–12, 2001 Proceedings

Automata, Languages and Programming: 28th International Colloquium, ICALP 2001 Crete, Greece, July 8–12, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Christos H. Papadimitriou (auth.), Fernando Orejas, Paul G. Spirakis, Jan van Leeuwen (eds.)

Anno:

2001

Lingua:

english

File:

PDF, 5.24 MB

0 / 0

english, 2001

17

House of Usher

House of Usher

Auteur Publishing

Evert Jan van Leeuwen

Anno:

2019

Lingua:

english

File:

PDF, 1.39 MB

0 / 0

english, 2019

18

Alan Turing

Alan Turing

Elsevier Science

S. Barry Cooper, Jan van Leeuwen

Anno:

2013

Lingua:

english

File:

EPUB, 11.36 MB

0 / 5.0

english, 2013

19

Automata, Languages and Programming: Seventh Colloquium Noordwijkerhout, the Netherlands July 14–18, 1980

Automata, Languages and Programming: Seventh Colloquium Noordwijkerhout, the Netherlands July 14–18, 1980

Springer-Verlag Berlin Heidelberg

W. Ainhirn (auth.), Jaco de Bakker, Jan van Leeuwen (eds.)

Anno:

1980

Lingua:

english

File:

DJVU, 5.63 MB

0 / 0

english, 1980

20

Topics in the theory of computation: selected papers of the International Conference on ’’Foundations of Computation Theory’’, FCT ’83, Borgholm, Sweden, August 21-27, 1983’

Topics in the theory of computation: selected papers of the International Conference on ’’Foundations of Computation Theory’’, FCT ’83, Borgholm, Sweden, August 21-27, 1983’

Academic Press, Elsevier

Marek Karplnski and Jan van Leeuwen (Eds.)

Anno:

1985

Lingua:

english

File:

PDF, 4.15 MB

0 / 0

english, 1985

21

SOFSEM 2010: Theory and Practice of Computer Science: 36th Conference on Current Trends in Theory and Practice of Computer Science, à pindlerův Mlýn, Czech Republic, January 23-29, 2010. Proceedings

SOFSEM 2010: Theory and Practice of Computer Science: 36th Conference on Current Trends in Theory and Practice of Computer Science, à pindlerův Mlýn, Czech Republic, January 23-29, 2010. Proceedings

Springer Berlin Heidelberg

Parosh Aziz Abdulla (auth.), Jan van Leeuwen, Anca Muscholl, David Peleg, Jaroslav Pokorný, Bernhard Rumpe (eds.)

Anno:

2010

Lingua:

english

File:

PDF, 11.88 MB

0 / 0

english, 2010

22

The Literary Utopias of Cultural Communities, 1790-1910

The Literary Utopias of Cultural Communities, 1790-1910

Marguérite Corporaal, Evert Jan van Leeuwen

Anno:

2010

Lingua:

english

File:

PDF, 1.44 MB

0 / 0

english, 2010

23

Parle ’91 Parallel Architectures and Languages Europe: Volume I: Parallel Architectures and Algorithms Eindhoven, The Netherlands, June 10–13, 1991 Proceedings

Parle ’91 Parallel Architectures and Languages Europe: Volume I: Parallel Architectures and Algorithms Eindhoven, The Netherlands, June 10–13, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Johnsson (auth.), Emile H. L. Aarts, Jan van Leeuwen, Martin Rem (eds.)

Anno:

1991

Lingua:

english

File:

DJVU, 5.28 MB

0 / 0

english, 1991

24

Automata, Languages and Programming: Seventh Colloquium Noordwijkerhout, the Netherlands July 14–18, 1980

Automata, Languages and Programming: Seventh Colloquium Noordwijkerhout, the Netherlands July 14–18, 1980

Springer-Verlag Berlin Heidelberg

W. Ainhirn (auth.), Jaco de Bakker, Jan van Leeuwen (eds.)

Anno:

1980

Lingua:

english

File:

PDF, 14.94 MB

0 / 0

english, 1980

25

Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings

Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings

Springer Berlin Heidelberg

Sten Agerholm (auth.), Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, Joakim von Wright, Jim Grundy, John Harrison (eds.)

Anno:

1996

Lingua:

english

File:

PDF, 5.33 MB

0 / 0

english, 1996

26

SOFSEM 2010: Theory and Practice of Computer Science: 36th Conference on Current Trends in Theory and Practice of Computer Science, à pindlerův Mlýn, Czech Republic, January 23-29, 2010. Proceedings

SOFSEM 2010: Theory and Practice of Computer Science: 36th Conference on Current Trends in Theory and Practice of Computer Science, à pindlerův Mlýn, Czech Republic, January 23-29, 2010. Proceedings

Springer Berlin Heidelberg

Parosh Aziz Abdulla (auth.), Jan van Leeuwen, Anca Muscholl, David Peleg, Jaroslav Pokorný, Bernhard Rumpe (eds.)

Anno:

2010

Lingua:

english

File:

PDF, 12.77 MB

0 / 0

english, 2010

27

Automata, Languages and Programming: 28th International Colloquium, ICALP 2001 Crete, Greece, July 8–12, 2001 Proceedings

Automata, Languages and Programming: 28th International Colloquium, ICALP 2001 Crete, Greece, July 8–12, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Christos H. Papadimitriou (auth.), Fernando Orejas, Paul G. Spirakis, Jan van Leeuwen (eds.)

Anno:

2001

Lingua:

english

File:

PDF, 10.21 MB

0 / 0

english, 2001

28

The Challenges Of Water Management And Governance In Cities

The Challenges Of Water Management And Governance In Cities

Kees van Leeuwen, Jan Hofman, Peter Driessen, Jos Frijns

Anno:

2019

Lingua:

english

File:

PDF, 26.04 MB

0 / 0

english, 2019

29

Lecture Notes in Computer Science

Lecture Notes in Computer Science

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen

Anno:

2008

Lingua:

english

File:

EPUB, 2.27 MB

0 / 0

english, 2008

30

Alan Turing: His Work and Impact

Alan Turing: His Work and Impact

S. Barry Cooper and Jan van Leeuwen

Anno:

2013

File:

PDF, 30.23 MB

0 / 0

2013

31

Parle ’91 Parallel Architectures and Languages Europe: Volume I: Parallel Architectures and Algorithms Eindhoven, The Netherlands, June 10–13, 1991 Proceedings

Parle ’91 Parallel Architectures and Languages Europe: Volume I: Parallel Architectures and Algorithms Eindhoven, The Netherlands, June 10–13, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Johnsson (auth.), Emile H. L. Aarts, Jan van Leeuwen, Martin Rem (eds.)

Anno:

1991

Lingua:

english

File:

PDF, 38.78 MB

0 / 0

english, 1991

32

Alan Turing: his work and impact

Alan Turing: his work and impact

Elsevier Science

S. Barry Cooper & Jan Van Leeuwen

Anno:

2013

Lingua:

english

File:

EPUB, 11.36 MB

0 / 5.0

english, 2013

33

Alan Turing

Alan Turing

Elsevier Science

S. Barry Cooper & Jan Van Leeuwen

Anno:

2013

Lingua:

english

File:

AZW3 , 12.63 MB

0 / 0

english, 2013

34

Alan Turing: His Work and Impact

Alan Turing: His Work and Impact

Elsevier Science & Technology

S. Barry Cooper, Jan Van Leeuwen

Anno:

2013

Lingua:

english

File:

AZW3 , 12.93 MB

0 / 0

english, 2013

35

Alan Turing

Alan Turing

Elsevier Science

S. Barry Cooper & Jan Van Leeuwen

Anno:

2013

Lingua:

english

File:

MOBI , 14.80 MB

0 / 5.0

english, 2013

36

Lecture Notes in Computer Science

Lecture Notes in Computer Science

Gerhard Goos, Juris Hartmanis & Jan van Leeuwen

Anno:

2009

Lingua:

english

File:

FB2 , 2.04 MB

0 / 0

english, 2009

37

Lecture Notes in Computer Science

Lecture Notes in Computer Science

Gerhard Goos & Juris Hartmanis & Jan van Leeuwen

Anno:

2008

Lingua:

english

File:

LIT , 3.10 MB

0 / 0

english, 2008

38

Alan Turing: His Work and Impact

Alan Turing: His Work and Impact

S. Barry Cooper and Jan van Leeuwen

Anno:

2013

File:

PDF, 30.23 MB

0 / 0

2013

39

Handbook of Theoretical Computer Science. Volume A: Algorithms and Complexity

Handbook of Theoretical Computer Science. Volume A: Algorithms and Complexity

Elsevier; MIT Press

Jan van Leeuwen (ed.)

Anno:

1990

Lingua:

english

File:

PDF, 10.09 MB

0 / 0

english, 1990

40

Handbook of Theoretical Computer Science. Volume B: Formal Models and Semantics

Handbook of Theoretical Computer Science. Volume B: Formal Models and Semantics

Elsevier; MIT Press

Jan van Leeuwen (ed.)

Anno:

1990

Lingua:

english

File:

PDF, 13.97 MB

0 / 0

english, 1990

41

Alan Turing - His Work and Impact

Alan Turing - His Work and Impact

Elsevier Science

Barry Cooper, Jan van Leeuwen

Anno:

2013

Lingua:

english

File:

PDF, 32.80 MB

5.0 / 5.0

english, 2013

42

Nonlinear Data Assimilation

Nonlinear Data Assimilation

Peter Jan Van Leeuwen, Yuan Cheng, Sebastian Reich

Anno:

2015

Lingua:

english

File:

PDF, 1.96 MB

0 / 0

english, 2015

43

Handbook of Theoretical Computer Science. Volume A: Algorithms and Complexity

Handbook of Theoretical Computer Science. Volume A: Algorithms and Complexity

Elsevier; MIT Press

Jan van Leeuwen (ed.)

Anno:

1990

Lingua:

english

File:

DJVU, 12.22 MB

0 / 0

english, 1990

44

Data Assimilation Fundamentals: A Unified Formulation of the State and Parameter Estimation Problem

Data Assimilation Fundamentals: A Unified Formulation of the State and Parameter Estimation Problem

Geir Evensen, Femke C. Vossepoel, Peter Jan van Leeuwen

Anno:

2022

Lingua:

english

File:

PDF, 11.21 MB

0 / 5.0

english, 2022

45

Fast Software Encryption: 7th International Workshop, FSE 2000 New York, NY, USA, April 10–12, 2000 Proceedings

Fast Software Encryption: 7th International Workshop, FSE 2000 New York, NY, USA, April 10–12, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Alex Biryukov, Adi Shamir, David Wagner (auth.), Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, Bruce Schneier (eds.)

Anno:

2001

Lingua:

english

File:

PDF, 4.11 MB

0 / 0

english, 2001

46

Fast Software Encryption: 7th International Workshop, FSE 2000 New York, NY, USA, April 10–12, 2000 Proceedings

Fast Software Encryption: 7th International Workshop, FSE 2000 New York, NY, USA, April 10–12, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Alex Biryukov, Adi Shamir, David Wagner (auth.), Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, Bruce Schneier (eds.)

Anno:

2001

Lingua:

english

File:

PDF, 2.22 MB

0 / 0

english, 2001

47

Constraints in Computational Logics: Theory and Applications International Summer School, CCL ’99 Gif-sur-Yvette, France, September 5–8, 1999 Revised Lectures

Constraints in Computational Logics: Theory and Applications International Summer School, CCL ’99 Gif-sur-Yvette, France, September 5–8, 1999 Revised Lectures

Springer-Verlag Berlin Heidelberg

Jean-Pierre Jouannaud, Ralf Treinen (auth.), Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, Hubert Comon, Claude Marché, Ralf Treinen (eds.)

Anno:

2001

Lingua:

english

File:

PDF, 2.01 MB

0 / 0

english, 2001

48

Fast Software Encryption: 7th International Workshop, FSE 2000 New York, NY, USA, April 10–12, 2000 Proceedings

Fast Software Encryption: 7th International Workshop, FSE 2000 New York, NY, USA, April 10–12, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Alex Biryukov, Adi Shamir, David Wagner (auth.), Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, Bruce Schneier (eds.)

Anno:

2001

Lingua:

english

File:

PDF, 3.00 MB

0 / 0

english, 2001

49

Handbook of Theoretical Computer Science. Volume A: Algorithms and Complexity

Handbook of Theoretical Computer Science. Volume A: Algorithms and Complexity

Elsevier Science

Jan van Leeuwen

Anno:

1992

Lingua:

english

File:

DJVU, 12.20 MB

0 / 0

english, 1992

50

Algorithms — ESA '94: Second Annual European Symposium Utrecht, The Netherlands, September 26–28, 1994 Proceedings

Algorithms — ESA '94: Second Annual European Symposium Utrecht, The Netherlands, September 26–28, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Andrew V. Goldberg (auth.), Jan van Leeuwen (eds.)

Anno:

1994

Lingua:

english

File:

DJVU, 4.34 MB

0 / 0

english, 1994